Safely Composable Type-Specific Languages
نویسندگان
چکیده
We present additional details on our static semantics and our corpus analysis that were omitted from the main body of the paper Safely Composable Type-Specific Languages for concision [1]. We acknowledge the support of the United States Air Force Research Laboratory and the National Security Agency lablet contract #H98230-14-C-0140, as well as the Royal Society of New Zealand Marsden Fund. Cyrus Omar was supported by an NSF Graduate Research Fellowship.
منابع مشابه
Well-Typed Islands Parse Faster
This paper addresses the problem of specifying and parsing the syntax of domain-specific languages (DSLs) in a modular, userfriendly way. That is, we want to enable the design of composable DSLs that combine the natural syntax of external DSLs with the easy implementation of internal DSLs. The challenge in parsing composable DSLs is that the composition of several (individually unambiguous) lan...
متن کاملDomain-Specific Languages for Composable Editor Plugins
Modern IDEs increase developer productivity by incorporating many different kinds of editor services. These can be purely syntactic, such as syntax highlighting, code folding, and an outline for navigation; or they can be based on the language semantics, such as in-line type error reporting and resolving identifier declarations. Building all these services from scratch requires both the extensi...
متن کاملCreating and using domain-specific language features Position Paper
The value that domain-specific languages provide to their users is the domain-specific language features they contain. These features provide notations from the domain of interest, as well as domain-specific analysis and optimizations. But domain-specific languages are sometimes a poor means of delivering these valuable features to their users. A challenge arises when a problem crosses multiple...
متن کاملCPL: A Core Language for Cloud Computing - Technical Report
Running distributed applications in the cloud involves deployment. That is, distribution and configuration of application services and middleware infrastructure. The considerable complexity of these tasks resulted in the emergence of declarative JSON-based domain-specific deployment languages to develop deployment programs. However, existing deployment programs unsafely compose artifacts writte...
متن کاملA Methodology for Construction of Composable Formal Models from SystemC in BIP
We present an approach that is intended to facilitate the integration of domain-specific languages and heterogeneous systems on a semantic level by mapping language constructs to concepts in an asynchronous formalism capable of describing heterogeneous systems. The approach is centered around the use of extended automata to model the behaviors, interactions to model the glue between the transit...
متن کامل